121. Assistive technology and artificial intelligence : applications in robotics, user interface, and natural language processing
پدیدآورنده : Vibhu O. Mittal ... ]et al.[, eds.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Robotics,، User interfaces )Computer systems(,، Natural language processing )Computer science(,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1458
122. Autonomous, Model-Based Diagnosis Agents
پدیدآورنده : by Michael Schroeder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
123. Autonomous learning from the environment
پدیدآورنده : Wei-Min Shen ; foreword by Herbert A. Simon
موضوع : environmental sciences,Artificial intelligence - Data processing,Expert systems (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
124. Belief revision
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science. ; Artificial intelligence. ; Expert systems (Computer science) ;
125. Biomimetic and Biohybrid Systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence. ; Computer network architectures. ; Computer science. ; Computer vision. ; Operating systems (Computers). ; Logic design. ; Artificial Intelligence. ;
126. Biomimetic and Biohybrid Systems :
پدیدآورنده : edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
127. Building large knowledge-based systems :
پدیدآورنده : Douglas B. Lenat, R.V. Guha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Expert systems (Computer science),Knowledge representation (Information theory),System design.,Intelligence artificielle.,Systèmes experts (Informatique),Systèmes, Conception de.,Artificial intelligence.,Expert systems (Computer science),Expertensystem,Expertensystem.,Expertsystemen.,Knowledge representation (Information theory),Kunstmatige intelligentie.,System design.,Wissensbasiertes System,Wissensbasiertes System.
رده :
Q335
.
L45
1990
128. Building large knowledge- based systems : representation and inference in the Cyc project
پدیدآورنده : Lenat, Douglas B.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Artificial intelligence,، Expert systems )Computer science(,، System design,، Knowledge representation )Information theory(
129. CAD systems using AI techniques :proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan,
پدیدآورنده : edited by G. Odawara
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer-aided design--Congresses,Artificial intelligence--Congresses,Expert systems (Computer science)--Congresses
رده :
TA
،
174
،.
I133
،
1989
130. CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6- 7 June 1989
پدیدآورنده : IFIP TC 01/WG 01.2 Working Conference on CAD Systems Using AI Techniques )9891 : Tokyo, Japan(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer- aided design- Congresses,، Artificial intelligence- Congresses,، Expert systems )Computer science(- Congresses
131. Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, proceedings
پدیدآورنده : David B. Leake, Enric Plaza, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1266
132. Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
پدیدآورنده : Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1650
133. Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26 : proceedings
پدیدآورنده : Manuela Voloso, Agnar Aamodt, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1010
134. Case-based reasoning research and development : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005 : proceedings
پدیدآورنده : Hector Munoz-Avila, Francesco Ricci )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3620
135. Case-based reasoning technology: from foundations to applications
پدیدآورنده : Mario Lenz...]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Expert systems )Computer science(,، Case-based reasoning,، Artificial intelligence
رده :
QA
76
.
76
.
E95
C38
1998
136. Caseh-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings
پدیدآورنده : David W. Aha, Ian Watson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2080
137. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
138. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
139. Cognitive technology :
پدیدآورنده : edited by Barbara Gorayska, Jacob L. Mey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Cognition.,Cognitive science.,Human information processing.,Computer Systems.,Ergonomics.,Man-Machine Systems.,Mental Processes.,Technology.,User-Computer Interface.,Artificial intelligence.,Cognition.,Cognitive science.,Human information processing.,Mens-computer-interactie.,PSYCHOLOGY-- Cognitive Psychology.,SCIENCE-- Cognitive Science.
رده :
BF311
.
C55346
1996eb